$\forall$$b$:$\mathbb{B}$. ($\uparrow$$b$) $\Rightarrow$ ($b$ = tt)